$\vdash$  $\forall$$u$,$v$:$\mathbb{B}$. ($u$ = $v$) $\Rightarrow$ ($\uparrow$($u$ $\Rightarrow_{b}$ $v$))